1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
I5694
2009
2. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
3. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
پدیدآورنده : George T. Heineman ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
4. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
پدیدآورنده : Ivica Crnkovic....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
5. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
6. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
7. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
8. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
9. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
10. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
11. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
12. Models in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
13. New modeling concepts for today's software processes
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; Softwareentwicklung. ; swd. ; Prozessmanagement. ; swd. ; Leistungsbewertung. ; swd. ;
14. New trends in software methodologies, tools and techniques :proceedings of the fourth SoMeTW 05
پدیدآورنده : edited by Hamido Fujita and Mohamed Mejri
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Computer software - Development
رده :
QA
76
.
758
.
I5
15. PASTE'07 : proceedings of the 2007 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools & Engineering, San Diego, California, USA, June 13-14, 2007
پدیدآورنده : sponsored by: ACM SIGPLAN & ACM SIGSOFT; and supported by: Center for Software Excellence, Microsoft Corporation
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2007
16. Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'04, June 7-8, 2004, Washington, DC, USA
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages and Special Interest Group on Software Engineering
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2004
17. Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering: PASTE'01: Snowbird, Utah, USA, June 18-19, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
A345
2001
18. Proceedings of the 2001 ACM SIGPLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE'01, Snowbird, Utah, USA, June 18-19, 2001
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages, and Special Interest Group on Software Engineering
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2001
19. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments : Boston, Massachusetts, November 28-30, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Software engineering-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
7
.
S54
vol
.
24
,
no
.
2
20. Proceedings of the 23th International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
I5
2001